Dependability-aware Embedded System-level Design
نویسندگان
چکیده
More and more embedded systems operate in safety-critical areas and have to cope with destructive agents present at their mounting spaces. As a result, dependability has become an objective of major importance. In this work, an automatic costaware embedded system-level design methodology is presented that contributes a) effective dependability analysis techniques, b) the usage of dependability-increasing methods, and c) the integration of the investigated techniques in a state-of-the-art design space exploration approach. Using a model-based design paradigm, the work at hand is applicable to several embedded domains like, e.g., SoC, MPSoC, networked embedded system, and ECU network design.
منابع مشابه
Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach
This paper presents an automatic reliability-aware system-level design methodology to tolerate hardware defects caused by manufacturing tolerances as well as destructive agents and aging processes at the places of activity of the system components. This is achieved by (1) integrating the capability of a redundant placement of software tasks in an automatic design process to cope with the hardwa...
متن کاملMiddleware for Embedded Adaptive Dependability
The Middleware for Embedded Adaptive Dependability (MEAD) infrastructure enhances large-scale distributed real-time embedded middleware applications with novel capabilities, including (i) transparent, yet tunable, fault tolerance in real time, (ii) proactive dependability, (iii) resource-aware system adaptation to crash, communication, partitioning and timing faults with (iv) scalable and fast ...
متن کاملTool-based Development of Light-weight Fault-tolerant Embedded Systems
In this report, we present Gecko, a framework for the model-based development of embedded systems, focusing on light-weight fault-tolerance and dependability aspects. Given a high-level sketch of the system, including models of the hardware, software, expected faults, and a set of predefined mechanisms, Gecko can perform a series of refinement processes, including model annotation and concretiz...
متن کاملEvaluation of Embedded Operating System by a Software Method
In this paper, software faults are emulated by Software Implemented Fault Injection (SWIFI) to evaluate embedded operating system. The method is based on the fact that the source codes of the operating system are mapped into the code segment in the target memory and it is easy to inject kinds of faults in the memory by SWIFI. Faults are emulated by injecting faults at assembly level instead of ...
متن کاملDependability Driven System Level Co-Design and Optimization of Embedded Systems
Embedded systems are becoming pervasive in diverse application domains such as automotive, avionic, medical, control and their functionality is increasingly defined by software (SW). Such systems especially in safety-critical (SC) applications, with implications on system dependability and real-time must be designed to be dependable (fault tolerant) enough and have to meet timing requirements i...
متن کامل